Use Evidence Cautiously

Cut Might Cautiously

This note is on cautious cut elimination for one of Veltman's might logics. Syntactically, the logic is presented as an extension of a sequent system for classical propositional logic (hence: cpl). I show that this extension preserves the completeness and decidability of cpl. The proof has cautious cut elimination as a corollary. I also give a rather general syntactic proof of cautious cut elim...

Cautiously Approaching SWRL

The Semantic Web Rules Language (SWRL) has recently been proposed as the basic rules language for the Semantic Web. SWRL is unusual in being an undecidable superset of a very expressive description logic OWL DL (SHOIN (D)) and a simple rules language, Datalog. In this paper, we attempt to evolve OWL DL toward SWRL, but cautiously and carefully. We strive to retain practical decidability. We see...

Order-consistent programs are cautiously monotonic

Some normal logic programs under the answer set (or stable model) semantics lack the appealing property of “cautious monotonicity.” That is, augmenting a program with one of its consequences may cause it to lose another of its consequences. The syntactic condition of “order-consistency” was shown by Fages to guarantee existence of an answer set. This note establishes that order-consistent progr...

Cautiously delegate medical histories, physical exams.

Learn what's expected when delegating medical histories and physical examinations to nurses who aren't licensed independent practitioners.

The Use of Evidence by Decision-Making Committees